Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Dependent Haskell
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
๐Go Generics
Flag this post
Scala 3 / HOCON Parsing
alexn.orgยท1d
๐Lexical Scoping
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท5h
๐ฒProperty Testing
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
๐Borrowing Extensions
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
๐ฏPattern Matching
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท18h
๐Log Parsers
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท54m
โ๏ธInference Rules
Flag this post
GHC 9.14.1-rc1 is now available
๐Linear Haskell
Flag this post
Advances In Formal Verification Technology
semiengineering.comยท1d
๐งฉSAT Solvers
Flag this post
From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท18h
๐Category Theory
Flag this post
Reflection for Aggregates (2020)
๐๏ธType Indexing
Flag this post
My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
โจGleam
Flag this post
The top 4 JVM languages and why developers love them
infoworld.comยท2d
๐ฎClojure
Flag this post
Loading...Loading more...